module Module

((): a -> b)
